ccpred{-}id($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_config\_ind($x$;$\cdot$;$\cdot$;${\it id}$.${\it id}$;${\it id}$,${\it num}$.$\cdot$)